181. Non-commutative Multiple-Valued Logic Algebra

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Mathematics,Algebra,Logic, Symbolic and mathematical,Distribution (Probability theory),Mathematics,Mathematical Logic and Foundations,Order, Lattices, Ordered Algebraic Structures,Probability Theory and Stochastic Processes,Measure and Integration

رده :
E-BOOK

182. PROLOG for Computer Science

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Logic design.

رده :
QA76
.
73
.
P76
B967
1994

183. Philosophical Logic and Artificial Intelligence

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Logic.,Philosophy (General)

رده :
BC71
.
E358
1989

184. Philosophical and mathematical logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.

رده :
BC131

185. Philosophical and mathematical logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.

رده :
BC135
.
S93
2018

186. Power Algebras over Semirings

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematics.

187. Proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses

رده :
QA
76
.
9
.
M35
S94
1989

188. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses

رده :
QA
76
.
9
.
M35
S94
1994

189. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
S94
2004

190. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
75
.
5
.
I38
2000

191. Readings in Formal Epistemology :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.

رده :
BD143-237

192. Recursive function theory and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Recursive functions,، Logic, Symbolic and mathematical

رده :
QA
248
.
5
.
Y38

193. Recursive function theory and logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Recursive functions,، Logic, Symbolic and mathematical

رده :
QA
248
.
5
.
Y36

194. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS

رده :
QA
76
.
9
.
R36
2011

195. Semirings and Affine Equations over Them: Theory and Applications

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.

196. Semirings and their Applications

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.

197. Special Topics in Mathematics for Computer Scientists

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات

رده :
QA
76
.
9
..
M35S6
2015
E-Book
,

198. Subsystems of Second Order Arithmetic

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.

رده :
HF1008
.
B978
1999

199. The P=NP question and Geodel's lost letter

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical

رده :
QA
،
9
.
65
،.
L57
،
2010

200. The P=NP question and Geodel's lost letter

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical

رده :
E-BOOK